·2,447,543篇论文数据，部分数据来源于NoteExpress
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
The extension problems of Kharitonov's Theorem are developed under the cases of complex perturbations with the extremum idea and the numerical computer technology.
利用极值思想与数值计算技术研究了复杂摄动情况下哈氏定理的推广问题。
Utilizing the extension of the polygon exterior angle sum theorem, directions of curvilinear polygons were judged and redundant polygons were deleted.
利用多边形外角定理的推广，判断偏置后曲线多边形的旋向，删除多余多边形。
应用推荐